搜索
在Epoch AI与曼彻斯特大学发布的FrontierMath Erdős基准测试中，GPT-6 Astra以3%得分率成为唯一非零分模型并解开5道Erdős难题，而GPT-5.6 Sol、GPT-5.5、Fable 5.1与Claude Fable 5均交白卷。
蚂蚁数科资深技术专家魏长征在 AICon 大会上分享 Harness 工程实践，指出 AI Coding 的关键不是写得更快要让产出可验收，并在 40 万行 Rust 新项目和 60 万行 C++ 存量项目中分别通过内建 Harness 和先补齐文档与 CI 门禁实现质量闭环，后者缺陷率从 20% 以上降至个位数。
OpenAI 的 GPT-6 Astra 在有界素数间隔问题上将上界从 246 推进至 186，并完成 Lean 形式化验证，显示 AI 正从数学解题工具走向研究伙伴。
据《The Information》报道，OpenAI 最强新模型 Astra 被曝采用「循环深度」（recurrent depth）技术，使模型在输出 Token 前完成多轮潜在空间计算并显著提升网络安全能力，但这一「少说多想」的推理方式因思维链可能被压缩到难以读取的内部状态而引发 AI 安全专家对监管失效的担忧。
英伟达CEO黄仁勋官宣以约129.303亿美元（折合人民币868亿元）收购全球最大AI开源平台Hugging Face，交易完成后Hugging Face将加入英伟达体系并继续保持开放社区定位。
戴森发布售价3899元的AI可视成像电动牙刷CameraJet，将电动牙刷、冲牙器、内窥镜和AI图像识别系统集成于同一手柄，通过刷头内置微距相机和基于47万张牙齿图像训练的算法自动识别牙缝并向其喷出漱口水，将于9月7日开启预售。
生成答案正在成为 AI 的基础能力，而推演现实世界，才是下一阶段更难的命题。
在 AI 狂飙突进的这两年里，Google 似乎总是扮演着那个「起大跑慢」的角色。
床头或许会成为 AI4Bio 的一个新入口。
近期Product Hunt热门AI产品Acti、Wispr Flow、Hey Noah、Pazi、Glaze、AnySearch、Context.dev和OpenSEO不再执着于打造更聪明的ChatGPT，而是分别争夺意图入口、任务执行权、软件生产成本降低以及面向Agent的基础设施，将AI嵌入键盘、语音、邮件等日常工作流程。